TAGs: infinite set